Herbert Kuchen: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (76)
Найпопулярніші
Перелік
- Перелік
- Таблиця

[IEEE 2019 IEEE Congress on Evolutionary Computation (CEC) - Wellington, New Zealand (2019.6.10-2019.6.13)] 2019 IEEE Congress on Evolutionary Computation (CEC) - Parallelization Strategies for GPU-Based Ant Colony Optimization Solving the Traveling Salesman Problem

Menezes, Breno A. M., Kuchen, Herbert, Amorim Neto, Hugo A., de Lima Neto, Fernando B.

Рік:

2019

Мова:

english

Файл:

PDF, 34 KB

english, 2019

Extending a model-driven cross-platform development approach for business apps

Heitkötter, Henning, Kuchen, Herbert, Majchrzak, Tim A.

Журнал:

Science of Computer Programming

Рік:

2015

Мова:

english

Файл:

PDF, 391 KB

english, 2015

[ACM Press the 34th ACM/SIGAPP Symposium - Limassol, Cyprus (2019.04.08-2019.04.12)] Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19 - Static analysis of BPMN-based process-driven applications

Schneid, Konrad, Usener, Claus A., Thöne, Sebastian, Kuchen, Herbert, Tophinke, Christian

Рік:

2019

Мова:

english

Файл:

PDF, 1.50 MB

english, 2019

The ligand field potential of the amido group in transition group ion phosphinothioicamido chelates

Hans-Herbert Schmidtke, Thomas Schönherr, Wilhelm Kuchen, Manfred Fuchs

Журнал:

Chemical Physics Letters

Рік:

1986

Мова:

english

Файл:

PDF, 440 KB

english, 1986

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Reflections on reflections

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Рік:

1997

Мова:

english

Файл:

PDF, 1.06 MB

english, 1997

The functional logic language BABEL and its implementation on a graph machine

Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo

Журнал:

New Generation Computing

Рік:

1996

Мова:

english

Файл:

PDF, 1.88 MB

english, 1996

[ACM Press the 2011 ACM Symposium - TaiChung, Taiwan (2011.03.21-2011.03.24)] Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11 - Efficiency evaluation of open source ETL tools

Majchrzak, Tim A., Jansen, Tobias, Kuchen, Herbert

Рік:

2011

Мова:

english

Файл:

PDF, 1.43 MB

english, 2011

Integration of functional and logic programming

Hanus, Michael, Kuchen, Herbert

Журнал:

ACM Computing Surveys

Рік:

1996

Мова:

english

Файл:

PDF, 200 KB

english, 1996

[ACM Press the 2002 joint ACM-ISCOPE conference - Seattle, Washington, USA (2002.11.03-2002.11.05)] Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande - JGI '02 - Higher-order functions and partial applications for a C++ skeleton library

Kuchen, Herbert, Striegnitz, Jörg

Рік:

2002

Мова:

english

Файл:

PDF, 193 KB

english, 2002

Fish School Search with Algorithmic Skeletons

Wrede, Fabian, Menezes, Breno, Kuchen, Herbert

Журнал:

International Journal of Parallel Programming

Рік:

2018

Мова:

english

Файл:

PDF, 762 KB

english, 2018

[ACM Press the 34th ACM/SIGAPP Symposium - Limassol, Cyprus (2019.04.08-2019.04.12)] Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19 - Static analysis of BPMN-based process-driven applications

Schneid, Konrad, Usener, Claus A., Thöne, Sebastian, Kuchen, Herbert, Tophinke, Christian

Рік:

2019

Файл:

PDF, 1.50 MB

2019

Towards behavior-driven graphical user interface testing

Bünder, Hendrik, Kuchen, Herbert

Журнал:

ACM SIGAPP Applied Computing Review

Рік:

2019

Мова:

english

Файл:

PDF, 607 KB

english, 2019

[Lecture Notes in Computer Science] Declarative Programming and Knowledge Management Volume 12057 (Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9â12, 2019, Revised Selected Papers) ||

Hofstedt, Petra, Abreu, Salvador, John, Ulrich, Kuchen, Herbert, Seipel, Dietmar

Рік:

2020

Файл:

PDF, 15.94 MB

2020

A systematic literature review on general parameter control for evolutionary and swarm-based algorithms

Gomes Pereira de Lacerda, Marcelo, de Araujo Pessoa, Luis Filipe, Buarque de Lima Neto, Fernando, Ludermir, Teresa Bernarda, Kuchen, Herbert

Журнал:

Swarm and Evolutionary Computation

Рік:

2021

Файл:

PDF, 542 KB

2021

Shared Memory Implementation of the Gamma-Operation

KATIA GLADITZ, HERBERT KUCHEN

Журнал:

Journal of Symbolic Computation

Рік:

1996

Мова:

english

Файл:

PDF, 507 KB

english, 1996

Editorial

Herbert Kuchen, Murray Cole

Журнал:

Parallel Computing

Рік:

2006

Мова:

english

Файл:

PDF, 75 KB

english, 2006

Efficient high-level parallel programming

George Horaţiu Botorog, Herbert Kuchen

Журнал:

Theoretical Computer Science

Рік:

1998

Мова:

english

Файл:

PDF, 2.53 MB

english, 1998

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Logic implemented functionally

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Рік:

1997

Мова:

english

Файл:

PDF, 1.05 MB

english, 1997

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Inline expansion: When and how?

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Рік:

1997

Мова:

english

Файл:

PDF, 826 KB

english, 1997

Introduction

Donghwi Lee, Chia-Chu Chiang, Mal Rey Lee, Herbert Kuchen, Kenji Leibnitz

Журнал:

Telecommunication Systems

Рік:

2012

Мова:

english

Файл:

PDF, 98 KB

english, 2012

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Narrowing the narrowing space

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Рік:

1997

Мова:

english

Файл:

PDF, 954 KB

english, 1997

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Functional programming and geometry

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Рік:

1997

Мова:

english

Файл:

PDF, 1.23 MB

english, 1997

E‐assessment and software testing

Usener, Claus A., Majchrzak, Tim A., Kuchen, Herbert

Журнал:

Interactive Technology and Smart Education

Рік:

2012

Мова:

english

Файл:

PDF, 111 KB

english, 2012

A Scalable Farm Skeleton for Hybrid Parallel and Distributed Programming

Ernsting, Steffen, Kuchen, Herbert

Журнал:

International Journal of Parallel Programming

Рік:

2014

Мова:

english

Файл:

PDF, 638 KB

english, 2014

Data Parallel Skeletons in Java

Kuchen, Herbert, Ernsting, Steffen

Журнал:

Procedia Computer Science

Рік:

2012

Мова:

english

Файл:

PDF, 140 KB

english, 2012

[ACM Press the 28th Annual ACM Symposium - Coimbra, Portugal (2013.03.18-2013.03.22)] Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13 - Cross-platform model-driven development of mobile applications with md 2

Heitkötter, Henning, Majchrzak, Tim A., Kuchen, Herbert

Рік:

2013

Мова:

english

Файл:

PDF, 532 KB

english, 2013

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || DrScheme: A pedagogic programming environment for scheme

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Рік:

1997

Мова:

english

Файл:

PDF, 1.91 MB

english, 1997

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Dynamic Solution of Linear Constraints for Test Case Generation

Ernsting, Marko, Majchrzak, Tim A., Kuchen, Herbert

Рік:

2012

Мова:

english

Файл:

PDF, 166 KB

english, 2012

[IEEE 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Tianjin, China (2009.07.29-2009.07.31)] 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering - Automated Test Case Generation Based on Coverage Analysis

Majchrzak, Tim A., Kuchen, Herbert

Рік:

2009

Мова:

english

Файл:

PDF, 251 KB

english, 2009

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || An open-ended finite domain constraint solver

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Рік:

1997

Мова:

english

Файл:

PDF, 942 KB

english, 1997

THE INTEGRATION OF TASK AND DATA PARALLEL SKELETONS

KUCHEN, HERBERT, COLE, MURRAY

Журнал:

Parallel Processing Letters

Рік:

2002

Мова:

english

Файл:

PDF, 1.68 MB

english, 2002

ON IMPLEMENTING THE FARM SKELETON

POLDNER, MICHAEL, KUCHEN, HERBERT

Журнал:

Parallel Processing Letters

Рік:

2008

Мова:

english

Файл:

PDF, 752 KB

english, 2008

[Lecture Notes in Computer Science] Functional and Constraint Logic Programming Volume 6816 || Logic Java: Combining Object-Oriented and Logic Programming

Kuchen, Herbert

Рік:

2011

Мова:

english

Файл:

PDF, 307 KB

english, 2011

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Data-flow testing of declarative programs

Fischer, Sebastian, Kuchen, Herbert

Рік:

2008

Мова:

english

Файл:

PDF, 250 KB

english, 2008

[ACM Press the 9th ACM SIGPLAN international conference - Wroclaw, Poland (2007.07.14-2007.07.16)] Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '07 - Systematic generation of glass-box test cases for functional logic programs

Fischer, Sebastian, Kuchen, Herbert

Рік:

2007

Мова:

english

Файл:

PDF, 231 KB

english, 2007

[ACM Press the conference - Copenhagen, Denmark (1993.06.09-1993.06.11)] Proceedings of the conference on Functional programming languages and computer architecture - FPCA '93 - Parallel implementation of bags

Kuchen, Herbert, Gladitz, Katia

Рік:

1993

Мова:

english

Файл:

PDF, 829 KB

english, 1993

[IEEE 2010 International Conference on Educational and Information Technology (ICEIT) - Chongqing, China (2010.09.17-2010.09.19)] 2010 International Conference on Educational and Information Technology - Computer-Supported Assessment of Software Verification Proofs

Usener, Claus A., Gruttmann, Susanne, Majchrzak, Tim A., Kuchen, Herbert

Рік:

2010

Мова:

english

Файл:

PDF, 895 KB

english, 2010

[IEEE 2008 International Conference on Computer Science and Software Engineering - Wuhan, China (2008.12.12-2008.12.14)] 2008 International Conference on Computer Science and Software Engineering - E-assessment of Mathematical Proofs: Chances and Challenges for Students and Tutors

Gruttmann, Susanne, Böhm, Dominik, Kuchen, Herbert

Рік:

2008

Мова:

english

Файл:

PDF, 289 KB

english, 2008

Data Parallel Algorithmic Skeletons with Accelerator Support

Ernsting, Steffen, Kuchen, Herbert

Журнал:

International Journal of Parallel Programming

Рік:

2017

Мова:

english

Файл:

PDF, 2.00 MB

english, 2017

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Semantics and compilation of recursive sequential streams in 81/2

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Рік:

1997

Мова:

english

Файл:

PDF, 1.04 MB

english, 1997

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || An object calculus with algebraic rewriting

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Рік:

1997

Мова:

english

Файл:

PDF, 850 KB

english, 1997

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Transformations for efficient evaluations in functional programming

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Рік:

1997

Мова:

english

Файл:

PDF, 894 KB

english, 1997

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Intuitionistic implication in abstract interpretation

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Рік:

1997

Мова:

english

Файл:

PDF, 928 KB

english, 1997

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Implementation of term rewritings with the evaluation strategy

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Рік:

1997

Мова:

english

Файл:

PDF, 883 KB

english, 1997

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Teaching functional and logic programming with a single computation model

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Рік:

1997

Мова:

english

Файл:

PDF, 1.10 MB

english, 1997

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || An editor for helping novices to learn standard ML

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Рік:

1997

Мова:

english

Файл:

PDF, 1.06 MB

english, 1997

Data-flow testing of declarative programs

Fischer, Sebastian, Kuchen, Herbert

Журнал:

ACM SIGPLAN Notices

Рік:

2008

Мова:

english

Файл:

PDF, 250 KB

english, 2008

Algorithmic skeletons for multi-core, multi-GPU systems and clusters

Ernsting, Steffen, Kuchen, Herbert

Журнал:

International Journal of High Performance Computing and Networking

Рік:

2012

Мова:

english

Файл:

PDF, 646 KB

english, 2012

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || A pragmatic approach to compilation of Erlang

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Рік:

1997

Мова:

english

Файл:

PDF, 117 KB

english, 1997

[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics, and Programs Volume 1292 || Selective recomputation for handling side-effects in parallel logic programs

Glaser, Hugh, Hartel, Pieter, Kuchen, Herbert

Рік:

1997

Мова:

english

Файл:

PDF, 831 KB

english, 1997